1. Automated technology for verification and analysis :
المؤلف: Tevfik Bultan, Pao-Ann Hsiung (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
2. Computational artifacts :
المؤلف: Raymond Turner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
3. Data flow analysis
المؤلف: / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Compilers (Computer programs),Data flow computing.,Software engineering.,Computer software--Verification
رده :
QA
,
76
.
76
,.
C65
,
K54
,
2009
4. Data flow analysis :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;
5. Data flow analysis
المؤلف: Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.
6. Formal methods for industrial critical systems :
المؤلف: Falk Howar, Jiří Barnat (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
7. Formal modeling :
المؤلف: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
8. Foundations of software science and computation structures :
المؤلف: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
9. Languages and Compilers for Parallel Computing :
المؤلف: edited by Hironori Kasahara, Keiji Kimura.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
58
E358
2013
10. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
المؤلف: Muller-Olm, Markus
المکتبة: (طهران)
موضوع: ، Compilers )Computer programs(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1283
11. Perspectives of system informatics :
المؤلف: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programmierung.,Theoretische Informatik.,Wissenstechnik.
12. Program analysis and compilation, theory and practice :
المؤلف: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
13. Program logics for certified compilers /
المؤلف: Andrew W. Appel, Princeton University, Princeton, New Jersey ... [and seven others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs),Computer software-- Verification,Logic, Symbolic and mathematical
رده :
QA76
.
76
.
V47
A65
2014
14. Reliable software technologies, Ada-Europe '96 :
المؤلف: Alfred Strohmeier, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
15. Runtime Verification
المؤلف: edited by Sarfraz Khurshid, Koushik Sen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
16. Synchronous Programming of Reactive Systems
المؤلف: by Nicolas Halbwachs.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
17. Verified software :
المؤلف: Ruzica Piskac, Philipp Rümmer (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
